You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 281 - 320 hits of 3384. Search took 0.00 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

Search results for id :

Filename	Distribution	File size
idris-static-1.3.4-18.fc42.ppc64le.rpm	Rawhide	76 kB
idris-static-1.3.4-18.fc42.ppc64le.rpm	Fedora Other	76 kB
idris-static-1.3.4-18.fc42.i686.rpm	Fedora Other	76 kB
idris-static-1.3.4-18.fc42.i686.rpm	Rawhide	76 kB	Info
idris-static-1.3.4-18.fc42.aarch64.rpm	Rawhide	70 kB
idris-static-1.3.4-18.fc42.aarch64.rpm	Fedora Other	70 kB
idris-static-1.3.4-17.fc41.x86_64.rpm		67 kB	Info
idris-static-1.3.4-17.fc41.s390x.rpm		69 kB
idris-static-1.3.4-17.fc41.ppc64le.rpm		77 kB
idris-static-1.3.4-17.fc41.i686.rpm		74 kB	Info
idris-static-1.3.4-17.fc41.aarch64.rpm		69 kB
idris-static-1.3.4-14.fc40.x86_64.rpm	Fedora 40	67 kB	Info
idris-static-1.3.4-14.fc40.s390x.rpm	Fedora 40	69 kB
idris-static-1.3.4-14.fc40.ppc64le.rpm	Fedora 40	77 kB
idris-static-1.3.4-14.fc40.i686.rpm	Fedora 40	74 kB	Info
idris-static-1.3.4-14.fc40.aarch64.rpm	Fedora 40	69 kB
idris-static-1.3.4-12.fc39.x86_64.rpm	Fedora 39	111 kB	Info
idris-static-1.3.4-12.fc39.s390x.rpm	Fedora 39	111 kB
idris-static-1.3.4-12.fc39.ppc64le.rpm	Fedora 39	119 kB
idris-static-1.3.4-12.fc39.i686.rpm	Fedora 39	118 kB	Info
idris-static-1.3.4-12.fc39.aarch64.rpm	Fedora 39	112 kB
idris-manual-1.3.4-5.fc37.noarch.rpm	Fedora 37	630 kB
idris-manual-1.3.4-18.fc42.noarch.rpm	Fedora Other	630 kB
idris-manual-1.3.4-18.fc42.noarch.rpm	Rawhide	630 kB	Info
idris-manual-1.3.4-17.fc41.noarch.rpm		630 kB	Info
idris-manual-1.3.4-14.fc40.noarch.rpm	Fedora 40	630 kB	Info
idris-manual-1.3.4-12.fc39.noarch.rpm	Fedora 39	630 kB	Info
idris-docs-1.3.4-5.fc37.noarch.rpm	Fedora 37	182 kB
idris-docs-1.3.4-18.fc42.noarch.rpm	Rawhide	220 kB
idris-docs-1.3.4-18.fc42.noarch.rpm	Fedora Other	220 kB
idris-docs-1.3.4-17.fc41.noarch.rpm		220 kB	Info
idris-docs-1.3.4-14.fc40.noarch.rpm	Fedora 40	220 kB
idris-docs-1.3.4-12.fc39.noarch.rpm	Fedora 39	221 kB
idris-common-1.3.4-5.fc37.noarch.rpm	Fedora 37	4106 kB
idris-common-1.3.4-18.fc42.noarch.rpm	Rawhide	4109 kB
idris-common-1.3.4-18.fc42.noarch.rpm	Fedora Other	4109 kB
idris-common-1.3.4-17.fc41.noarch.rpm		4109 kB	Info
idris-common-1.3.4-14.fc40.noarch.rpm	Fedora 40	4109 kB
idris-common-1.3.4-12.fc39.noarch.rpm	Fedora 39	4139 kB
idris-1.3.4-5.fc37.src.rpm	Fedora 37	1707 kB

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18